Jonathan Bowen: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (39)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

The Turing Guide

The Turing Guide

Oxford University Press

B. Jack Copeland, Jonathan Peter Bowen, Mark Sprevak, Robin J. Wilson, Alan Mathison Turing

సంవత్సరం:

2017

భాష:

english

ఫైల్:

PDF, 6.33 MB

5.0 / 5.0

english, 2017

2

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

సంవత్సరం:

2017

భాష:

english

ఫైల్:

PDF, 22.14 MB

0 / 0

english, 2017

3

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner [Harris f.c]

సంవత్సరం:

2012

భాష:

english

ఫైల్:

EPUB, 580 KB

0 / 0

english, 2012

4

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

సంవత్సరం:

2017

భాష:

english

ఫైల్:

PDF, 7.45 MB

5.0 / 5.0

english, 2017

5

The Arts and Computational Culture: Real and Virtual Worlds

The Arts and Computational Culture: Real and Virtual Worlds

Tula Giannini, Jonathan P. Bowen

సంవత్సరం:

2024

భాష:

english

ఫైల్:

PDF, 41.38 MB

0 / 5.0

english, 2024

6

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 1.33 MB

0 / 0

english, 2004

7

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

సంవత్సరం:

2018

భాష:

english

ఫైల్:

PDF, 10.08 MB

0 / 0

english, 2018

8

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

సంవత్సరం:

2019

భాష:

english

ఫైల్:

PDF, 14.21 MB

0 / 0

english, 2019

9

High-Integrity System Specification and Design

High-Integrity System Specification and Design

Springer-Verlag London

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 17.04 MB

0 / 0

english, 1999

10

Formal Specification and Documentation Using Z: A Case Study Approach

Formal Specification and Documentation Using Z: A Case Study Approach

Intl Thomson Computer Pr (Sd)

సంవత్సరం:

1996

భాష:

english

ఫైల్:

PDF, 700 KB

0 / 0

english, 1996

11

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Springer International Publishing;Springer

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

సంవత్సరం:

2020

భాష:

english

ఫైల్:

PDF, 8.71 MB

0 / 0

english, 2020

12

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 1.18 MB

0 / 0

english, 2004

13

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

సంవత్సరం:

2017

భాష:

english

ఫైల్:

PDF, 6.03 MB

0 / 0

english, 2017

14

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 4.05 MB

0 / 0

english, 2008

15

Changing anarchism: Anarchist theory and practice in a global age

Changing anarchism: Anarchist theory and practice in a global age

Manchester University Press

Purkis, Jonathan(Editor), Bowen, James(Editor), Heckert, Jamie Vishwam(Contributor)

సంవత్సరం:

2005

భాష:

english

ఫైల్:

PDF, 1.01 MB

0 / 0

english, 2005

16

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 8.13 MB

0 / 0

english, 2008

17

Towards Verified Systems

Towards Verified Systems

Elsevier Science Ltd

Jonathan Bowen (Eds.)

సంవత్సరం:

1994

భాష:

english

ఫైల్:

PDF, 5.06 MB

0 / 0

english, 1994

18

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

సంవత్సరం:

1999

భాష:

english

ఫైల్:

DJVU, 3.63 MB

0 / 0

english, 1999

19

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 5.56 MB

0 / 0

english, 2008

20

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner

సంవత్సరం:

2012

భాష:

english

ఫైల్:

FB2 , 720 KB

0 / 0

english, 2012

21

轮滚动的世界

轮滚动的世界

北京：中国少年儿童出版社

（美）威尔弗雷德·欧文（Wilfred Owen），（美）埃兹拉·鲍恩（Ezra Bowen）著；许延辉译, (美)乔纳森·诺顿·雷纳德(Jonathan Norton Leonard)著, 朱牧仁译, Jonathan Norton Leonard, 雷纳德, 朱牧仁, (美)威尔弗雷德·欧文(Wilfred Owen), (美)埃兹拉·鲍恩(Ezra Bowen)著, 许延辉译, 欧文, 鲍恩, 许延辉, (美)拉尔夫·E.莱普(Ralph E. Lapp)著, 邱明义, 黄钦沅译

సంవత్సరం:

1999

భాష:

Chinese

ఫైల్:

PDF, 63.96 MB

0 / 0

Chinese, 1999

22

Museums and Digital Culture: New Perspectives and Research

Museums and Digital Culture: New Perspectives and Research

Tula Giannini, Jonathan P. Bowen (eds.)

సంవత్సరం:

2019

భాష:

english

ఫైల్:

PDF, 27.92 MB

0 / 0

english, 2019

23

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 3.23 MB

0 / 5.0

english, 2010

24

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Springer-Verlag London

James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)

సంవత్సరం:

2013

భాష:

english

ఫైల్:

PDF, 9.66 MB

0 / 0

english, 2013

25

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

సంవత్సరం:

2013

భాష:

english

ఫైల్:

PDF, 10.23 MB

0 / 5.0

english, 2013

26

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

సంవత్సరం:

2017

భాష:

english

ఫైల్:

PDF, 9.41 MB

0 / 0

english, 2017

27

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

సంవత్సరం:

2017

భాష:

english

ఫైల్:

PDF, 12.27 MB

0 / 0

english, 2017

28

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 3.54 MB

0 / 0

english, 2002

29

Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Springer-Verlag London

Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)

సంవత్సరం:

2001

భాష:

english

ఫైల్:

PDF, 14.94 MB

0 / 0

english, 2001

30

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

సంవత్సరం:

1998

భాష:

english

ఫైల్:

PDF, 10.95 MB

0 / 0

english, 1998

31

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

సంవత్సరం:

1995

భాష:

english

ఫైల్:

DJVU, 5.90 MB

0 / 0

english, 1995

32

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 3.04 MB

0 / 0

english, 2010

33

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 4.83 MB

0 / 0

english, 2008

34

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 41.80 MB

0 / 0

english, 1999

35

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

సంవత్సరం:

2003

భాష:

english

ఫైల్:

PDF, 4.31 MB

0 / 0

english, 2003

36

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

సంవత్సరం:

2013

భాష:

english

ఫైల్:

EPUB, 6.74 MB

0 / 0

english, 2013

37

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

సంవత్సరం:

1997

భాష:

english

ఫైల్:

DJVU, 3.78 MB

0 / 0

english, 1997

38

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

సంవత్సరం:

2018

భాష:

english

ఫైల్:

PDF, 3.29 MB

0 / 0

english, 2018

39

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

సంవత్సరం:

2008

భాష:

english

ఫైల్:

PDF, 7.30 MB

0 / 0

english, 2008